Conferences
Hosted and Sponsored Conferences
- 29th International Conference on Concurrency Theory, 14th International Conference on Quantitative Evaluation of SysTems, 4th International Symposium on Dependable Software Engineering: Theories, Tools and Application, 2018.9.3-9.8
- The 31st International Conference on Computer Animation and Social Agents, 2018.5.21-5.23
- “量子软件： 从理论到实现”研讨会, 2018.9.27-9.29
- 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2018. 10.15-10.17
- The Third Symposium on Dependable Software Engineering: Theories, Tools and Applications，2017. 10.23-10.25
- MAVeLoS 2017 Workshop，2017. 10.7-10.8
- 安全攸关软件研讨会，2017. 10.8-10.10
- 第一届全国形式化方法与应用会议, 2016年11月12日-13日
- “The 2nd Symposium on Dependable Software Engineering: Theories, Tools and Applications”,2016年11月9日-11日
- 2015年密码算法前沿论坛,2015年7月4日-5日
- 2015 Annual IDEA4CPS Workshop,2015.11.30-12.4
- 中德项目研讨会,2015.10.19
- 唐稚松先生学术思想研讨会,2015.9.16
- Empirical Software Engineering International Week (ESEIW)（经验软件工程国际会议周）,2015.10.18-10.24
- 对称密码研讨会（Zcrypt2015）,2015.12.22-23
- 对称密码研讨会（Zcrypt2016）,2015.12.24-25
- 轨道交通软件安全研讨会,2014.2.28-3.1
- “软件与网络安全”科学与技术前沿论坛,2014.11.13
- 2014年密码算法前沿论坛,2014.6.21-6-22
- 软件分析与验证研讨会议程，2013年12月14日-15日
- LOCALI2013国际学术研讨会，2013年11月3日-7日
- 概率和混成系统验证研讨会，2013年9月23日-28日
- 铁道部铁路电子支付平台工程安全咨询服务项目，2013年6月4日-5日
- 铁道领域安全软件研讨会，2013年4月25日-26日
- 航天嵌入式软件可信保障技术体系研讨会，2013年3月31日-4月1日
- 安全关键软件研讨会，2013年3月8日-10日
- China-Germany-Workshop on Applying Formal Methods to Railway，2012年9月12日-13日
- he 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012)/Turing Year in China，2012年5月16日-21日
- 胡世华先生诞辰100周年纪念会暨2012逻辑、计算与信息研讨会，2012年4月23日-24日
- Workshop on Multicore and Heterogeneous Parallel Computing (中丹合作研讨会)，2012年4月19日-20日
- 计算机科学与计算机软件新技术国家重点实验室联合研讨会 2011
- ARTIST 嵌入式系统设计暑期讲习班，2011年8月8日-12日
- 模型检测暑期讲习班，2010年10月11日-16日
- 计算机科学与计算机软件新技术国家重点实验室联合研讨会 2010
- 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008
- Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), 23-26 October 2006
- Third International Conference on Quality Software (QSIC 2003), 6-7 November 2003